Books by author Grigore Rosu

Showing 1 – 7 out of 7 results

Page 1. out of 1

Formal Techniques for Distributed Systems

Holger Giese, Grigore Rosu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

In stock at our supplier - Shipping in 5 - 8 days

Language: English

Binding: Paperback

51.48 €

Sale 7 %
You save 4.26 €
Buy
Algebraic Methodology and Software Technology

José Meseguer, Grigore Rosu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

In stock at our supplier - Shipping in 5 - 8 days

Language: English

Binding: Paperback

51.48 €

Sale 7 %
You save 4.26 €
Buy
Formal Approaches to Software Testing and Runtime Verification

Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

In stock at our supplier - Shipping in 5 - 8 days

Language: English

Binding: Paperback

51.48 €

Sale 7 %
You save 4.26 €
Buy
Tools and Algorithms for the Construction and Analysis of Systems

Dana Fisman, Grigore Rosu | Springer Nature Switzerland AG, 2022

In stock at our supplier - Shipping in 5 - 8 days

Language: English

Binding: Paperback

41.20 €

Sale 7 %
You save 3.43 €
Buy
Model Checking Software

Owolabi Legunsen, Grigore Rosu | Springer International Publishing AG, 2022

In stock at our supplier - Shipping in 5 - 8 days

Language: English

Binding: Paperback

102.57 €

Sale 7 %
You save 8.59 €
Buy
Tools and Algorithms for the Construction and Analysis of Systems

Dana Fisman, Grigore Rosu | Springer Nature Switzerland AG, 2022

In stock at our supplier - Shipping in 5 - 8 days

Language: English

Binding: Paperback

41.20 €

Sale 7 %
You save 3.43 €
Buy
Institution Morphisms

Grigore Rosu | Bibliogov, 2013

In stock at our supplier - Shipping in 14 - 21 days

Language: English

Binding: Paperback

15.41 €

Sale 2 %
You save 0.36 €
Buy